1. Proofs and types

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic

رده :
QA
9
.
54
.
G572
1989